#ifndef PROCESS_CONTROL_H
#define PROCESS_CONTROL_H

#include <kernel.h>
#include <malloc.h>
#include <string.h>
#include <csp_debug.h>
#include <csp_macros.h>
#include <csp_protocol_msg.h>
#include <kdma.h>
#include <syscall.h>

void run_process(spu_pcb_t *pcb, qword *kernel_stackpointer, syscall_pointers_t *syscalls);

#endif
